Inhalt des Dokuments

Bachelor

Operationale Transformation von Modal Sequence Diagrams in zeitbehaftete Automaten im Kontext von RailCab

Samstag, 01. Oktober 2011

Erstgutachter/in: Prof. Dr. rer. nat. Glesner
Zweitgutachter/in: Prof. Dr.-Ing. Nestmann

Beckmann, Björn

---